Type Theory – alle Bücher, LPs und CDs online kaufen

Egbert Rijke
Introduction to Homotopy Type Theory

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

lieferbar ab 31.8.2025.

Buch

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

This book covers the introduction, theory, development and applications of type-2 fuzzy logic systems, which represent the current state-of-the-art in various domains such as control applications, power p…

lieferbar innerhalb 2-3 Wochen

Buch

Oscar Castillo, Patricia Melin
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis

This book is intended to be a reference for scientists and engineers interested in applying type-3 fuzzy logic and fractal theory techniques in medical diagnosis. In this book, a new model based on type-3…

lieferbar innerhalb 2-3 Wochen

Buch

Logics and Type Systems in Theory and Practice

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

Washingt Gladden
Was Bronson Alcott's school a type of God's moral government?: A review of Joseph Cook's theory of the atonement

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Washingt Gladden
Was Bronson Alcott's school a type of God's moral government?: A review of Joseph Cook's theory of the atonement

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

András Horváth, Miklós Telek
Phase Type Distributions

The topic of the book is phase type distributions that have been recognized as an important tool in the quantitative analysis of systems (such as communication networks, logistic networks, manufacturing p…

lieferbar innerhalb 1-2 Wochen

Buch

Liquid Tension Experiment

LTE3

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

lieferbar in mind. 4 Wochen

2 CDs

Liquid Tension Experiment

LTE3 (180g) (Limited Deluxe Box Set) (Opaque Hot Pink Vinyl)

Im heutigen Progressive Rock scheint es, als gäbe es jede Woche eine neue Supergroup. Aber lange bevor das die Norm wurde, und bevor Musiker regelmäßig in mehr als einer Band involviert waren, gab es Liqu…

umgehend lieferbar, Bestand beim Lieferanten vorhanden

3 LPs, 2 CDs, Blu-ray Disc

Carole King

The Living Room Tour (180g) (Limited Numbered Edition) (Green Marbled Vinyl)

Carole King ist eine amerikanische Singer-Songwriterin und Komponistin. Sie war die erfolgreichste weibliche Singer-Songwriterin der zweiten Hälfte des 20. Jahrhunderts und schrieb (teils zusammen mit and…

Artikel am Lager

2 LPs

Emily Huddart Kennedy
Eco-Types

Why acknowledging diverse eco-social relationships can help us overcome the political polarization that undermines our ability to protect the environment When we picture the ideal environmentalist, we li…

lieferbar innerhalb 1-2 Wochen

Buch

David I Backer
As Public as Possible

A witty and provocative treatise on the policies we'll need to make our public schools work for all children From the anti-CRT panic to efforts to divert tax dollars to charter schools, the right-wing at…

Erscheint bald

Buch

Stefan Müller-Stach
The Code of Mathematics

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

Eleni Gregoromichelaki, Peter Sutton, Robin Cooper, Stergios Chatzikyriakidis
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar ab 30.6.2025.

Buch

Eleni Gregoromichelaki, Peter Sutton, Robin Cooper, Stergios Chatzikyriakidis
Types and the Structure of Meaning

Addresses the role of structure in semantic analysis from the perspective of theories of meaning using rich theories of types. Also relates the theory of frames to these type theories as introducing, to s…

lieferbar ab 30.6.2025.

Buch

Peter D'Adamo
Eat Right 4 Your Type

For over 20 years, Peter D'Adamo has extensively researched the connections between blood type, food, and disease. His first book, Eat Right 4 Your Type, is the only book to offer individualised health an…

lieferbar in mind. 4 Wochen

Buch

Lindemann

Skills In Pills (180g)

Lindemann sind Till Lindemann und Peter Tägtgren. Till Lindemann ist der Sänger von Rammstein, die bis heute ca. 17 Mio. Tonträger verkauft haben und damit eine der weltweit erfolgreichsten und respekti…

Artikel am Lager

LP

Recent Advances in Mathematical Analysis

This book collects selected peer reviewed papers on the topics of Nonlinear Analysis, Functional Analysis, (Korovkin-Type) Approximation Theory, and Partial Differential Equations. The aim of the volume i…

lieferbar innerhalb 2-3 Wochen

Buch

Iakovos Vasiliou
Varieties of Happiness

Almost all ancient Greek ethical theories are taken to be eudaimonist because of the central role of eudaimonia (happiness) within them. Varieties of Happiness critically examines eudaimonism and challeng…

lieferbar ab 9.5.2025.

Buch

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Type Theory" - alle Bücher, LPs und CDs